: advanced Bash scripting